About the domino problem in the hyperbolic plane from an algorithmic point of view

نویسنده

  • Maurice Margenstern
چکیده

In this paper, we prove that the general problem of tiling the hyperbolic plane with à la Wang tiles is undecidable.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Probabilistic Sufficiency and Algorithmic Sufficiency from the point of view of Information Theory

‎Given the importance of Markov chains in information theory‎, ‎the definition of conditional probability for these random processes can also be defined in terms of mutual information‎. ‎In this paper‎, ‎the relationship between the concept of sufficiency and Markov chains from the perspective of information theory and the relationship between probabilistic sufficiency and algorithmic sufficien...

متن کامل

About the domino problem in the hyperbolic plane, a new solution

In this paper, we improve the approach of the previous paper about the domino problem in the hyperbolic plane[8, 9]. This time, we prove that the general problem of tiling the hyperbolic plane withà la Wang tiles is undecidable.

متن کامل

1 M ay 2 00 7 About the domino problem in the hyperbolic plane , a new solution : complement

In this paper, we complete the construction of paper [9, 11]. Together with the proof contained in [9, 11], this paper definitely proves that the general problem of tiling the hyperbolic plane withà la Wang tiles is undecidable.

متن کامل

About the domino problem in the hyperbolic plane, a new solution: complement

In this paper, we complete the construction of paper [9, 11]. Together with the proof contained in [9, 11], this paper definitely proves that the general problem of tiling the hyperbolic plane with à la Wang tiles is undecidable.

متن کامل

A hierarchical strongly aperiodic set of tiles in the hyperbolic plane

We give a new construction of strongly aperiodic set of tiles in H, exhibiting a kind of hierarchical structure, simplifying the central framework of Margenstern’s proof that the Domino problem is undecidable in the hyperbolic plane [13]. Ludwig Danzer once asked whether, in the hyperbolic plane, where there are no similarities, there could be any notion of hierarchical tiling—an idea which pla...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • ITA

دوره 42  شماره 

صفحات  -

تاریخ انتشار 2008